I wanted to try the Finish Him\! plugin, but found that one of my user edit modes
was replaced by the default version. Upon further investigation I found that the content
of the catalog file in the user edit modes directory was replaced by:
----
<?xml version="1.0"?>
<\!DOCTYPE MODES SYSTEM "catalog.dtd">
<MODES>
<MODE NAME="scala" FILE="scala.xml" FILE_NAME_GLOB="\*.scala" />
</MODES>
----
That's obviously not a very user-friendly behavior and should be changed to integrate
the scala edit mode definition into the existing catalog file.
Submitted | wormbo - 2009-11-04 11:10:03 | Assigned | |
---|---|---|---|
Priority | 8 | Labels | |
Status | open | Group | None |
Resolution | None |
2009-12-24 20:15:57 ezust |
looks like user sickill has not joined the actual jedit project. I 'm not sure if
he sees this, but I can't assign it to him.
|
---|---|
2009-12-24 20:15:58 ezust |
- **priority**: 5 --> 8 |